The Easiest Way to Build a Type Checker
jimmyhmiller.comΒ·11hΒ·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.netΒ·19hΒ·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Learning AI From Scratch: Streaming Output, the Secret Sauce Behind Real-Time LLMs
dev.toΒ·4hΒ·
Discuss: DEV
🌊Stream Processing
Flag this post
Markdown Is Holding You Back
newsletter.bphogan.comΒ·9hΒ·
Discuss: Hacker News
πŸ“‹Document Grammar
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.aiΒ·7hΒ·
Discuss: Hacker News
πŸ“„Text Chunking
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.comΒ·1d
⚑gRPC
Flag this post
Typst for Your Code Blocks
lambdaland.orgΒ·3d
πŸ“ŸTerminal Typography
Flag this post
Lang’s theorem β€” Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comΒ·9h
Ξ»Lambda Encodings
Flag this post
Infix Versus Prefix Operators
irreal.orgΒ·14h
🧠Lisp Dialects
Flag this post
Actually using ed | Arabesque
blog.sanctum.geek.nzΒ·11h
πŸ“ΊVT100
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.comΒ·1dΒ·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
_AugmentedIntelligence v3.0 (WIP)
reddit.comΒ·1dΒ·
Discuss: r/homelab
πŸŽ™οΈWhisper
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.orgΒ·2d
πŸ”—Combinatory Logic
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.czΒ·1dΒ·
πŸ¦€Rust Macros
Flag this post
Nested query strings in depth β€” a complete technical guide
dev.toΒ·1dΒ·
Discuss: DEV
βœ…Format Verification
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.orgΒ·7hΒ·
Discuss: Hacker News
πŸ“ŸTerminals
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.ioΒ·1dΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.techΒ·12hΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.ioΒ·13h
πŸ•ΈοΈWebAssembly
Flag this post
Olmo 3 is a fully open LLM
simonwillison.netΒ·5h
πŸŒ€Brotli Internals
Flag this post